@InProceedings{ArantesSantVija:2015:PrTeOr,
author = "Arantes, Alessandro Oliveira and Santiago J{\'u}nior, Valdivino
Alexandre de and Vijaykumar, Nandamudi Lankalapalli",
affiliation = "{Instituto de Estudos Avan{\c{c}}ados (IEAv)} and {Instituto
Nacional de Pesquisas Espaciais (INPE)} and {Instituto Nacional de
Pesquisas Espaciais (INPE)}",
title = "On proposing a test oracle generator based on static and dynamic
source code analysis",
booktitle = "Proceedings...",
year = "2015",
organization = "IEEE International Workshop on Model-Based Verification \&
Validation (MVV), IEEE International Conference on Software
Quality, Reliability and Security, 5. (QRS)",
note = "{Setores de Atividade: Pesquisa e desenvolvimento
cient{\'{\i}}fico.}",
keywords = "Test Oracle, REACTOR, Static Analysis, Dynamic Analysis.",
abstract = "Test oracles have become a welcoming approach as a very efficient
support for testing any type of application. Since oracle's
generation can be a very laborious work, several techniques have
been studied in order to perform an automatic or semi-automatic
generation. However, the construction of an automated test oracle
is not a trivial task, especially in terms of the inference of
verdicts and detecting defects. Therefore, this research proposes
a strategy to construct an automated test oracle based only on a
model generated from reverse engineering, and to detect defects by
a combination of static and dynamic source code analysis with a
minimum manual labor from testers. We have applied our methodology
to some interesting case studies and compared with other tools in
order to show usefulness of our approach.",
conference-location = "Vancouver, Canad{\'a}",
conference-year = "3-5 Aug.",
label = "lattes: 5039690360728170 2 ArantesSantVija:2015:PrTeOr",
language = "en",
targetfile = "1_arantes2.pdf",
urlaccessdate = "27 abr. 2024"
}